// runAnalysis.js
 
const jalangi2 = require("/home/passwd123/XiaoweiGuo/vscode/code-security/third_party/jalangi2")
const jsdom=require("/home/passwd123/XiaoweiGuo/vscode/code-security/third_party/jalangi2/node_modules/jsdom")
 
const runAnalysis = async () => {
    await jalangi2.instrumentDir({
        inputFiles: ["/home/passwd123/XiaoweiGuo/vscode/code-security/test_data/sample_obs.js"],
        outputDir: "/home/passwd123/XiaoweiGuo/vscode/code-security/test_data"
    });
 
    await jalangi2.analyze("/home/passwd123/XiaoweiGuo/vscode/code-security/test_data/sample_obs.js", ["/home/passwd123/XiaoweiGuo/vscode/code-security/scripts/dynamic_dcg.js"])
        .then(r => console.log(r))
        .catch(e => console.log(e));
}
 
runAnalysis();